Strong Explanations in Abstract Argumentation

Abstract argumentation constitutes both a major research strand and key approach that provides the core reasoning engine for multitude of formalisms in computational AI. Reasoning abstract is carried out by viewing arguments their relationships as entities, with frameworks (AFs) being most commonly used formalism. Argumentation semantics then drive specifying formal criteria on which sets arguments, called extensions, can be deemed jointly acceptable. Such extensions provide basic way explaining argumentative acceptance. Inspired recent research, we present more general class explanations: this paper propose study so-called strong explanations acceptance AFs. A explanation set such target acceptable each subframework containing set. We formally show form larger than particular giving possibility having smaller explanations. Moreover, assuming properties, any strategy, broadly construed, explanation. increase variety comes trade-off: an in-depth analysis associated complexity, showing jump polynomial hierarchy compared to extensions.